formal in Models