Conditional and Identity equations