added special case for known conditionals