Formal sketch