finish section on [and], do ev/even proof