transformed to pointfree notation.