Identifying true conditionals