Implementation for Cond eval