English and truth functions