4.7.1. Principle a0c0