renamed semantics example to identity and equality