Minor wording change
Make proceed() abstract