refactor Cond instances