Function Bool Int Faith