Verifiable Multiverse. GJSFR 2016, 16 (A4), 5-12.