Now - if the approver user loads it, the first user realizes "oh i made a mistake" and somehow manages to unapprove it, and fix it before the approver hits the approve button, then, maybe they'd never see that it was edited before they touched it - but it should be able to determine that the workflow isn't in the appropriate state for that action.