Ensuring truths are used for T/F values