Formal Tailoring