Testing truth conditions