Skip to main content

Truth-functions.