Fixed a logic twisted bug in cond.