bool (verum est)