skipped the pigeon hole principle, go to next chapter: proof object