note on consuming input in False case