Formal Pant Design