1.1. Opposite properties

Coherence of opposites