Verification of the Foundations | اصول