The regress problem: Frankfurt's second-order desires require third-order alignment, generating infi...
This proposition has not been edited since the history system was added.