Abstract: Orthokeratological contact lens and designs methods satisfy one of a group of design constraints. Arc lengths, surface areas, cross-sectional areas, saggital depth and volumes defined by an intersection of a base surface selected to mold an anterior surface of cornea and a curve located at the position of the anterior surface before molding satisfy specified conditions. In an example, an arc length measured along the anterior surface is equal to a sum of arc lengths measured along a relief surface and the base surface. In another example, a surface area of the anterior surface is equal to a sum of surface areas on the relief surface and the base surface. In addition, contact lenses are disclosed that satisfy these constraints, and instructions for performing the methods are stored on computer readable media.