Se ^bewis , som grundar sig ickeallenast