a.3. well ordering principle