Clarify equation/equality; write lazy insertion example