Attic for difference statement: trivial implementation.