Are we handling conditionals with assertions? Not that is bad, but it is not immediately clear to me if we are handling those.