Debugging: Allow Brad to check example