I didn't want to change the code I got from P&P much so I kept Guard class as-is. Where is Ensure defined?