Removed the non-standard models of PA.