Tag: Normalize Formal Relations