let Verified by instantiated without any arguments