Prove the empty form is validated: a write exercise in test automation