formal_method