Well ordering principle