Obadiah Maymūnī's "Treatise of the Pool"