Title: Expression vs. equality
First published: 2004
LC classification: JK