defined contextual equivalence; didn't quite finish CIU