I know but you seem to have erected a pretty complicated set of axioms here as the only alternative, here.