add 1032 pigeonhole principle