A=B
Meta-evaluation