adding more interesting metalogic test