The second and third levels include the assumption of Ockhamist parsimony. This is related to the Minimalist requirement,[5] which is elaborated as a corollary of the levels, but which is actually employed as an axiom.