pushing over examples to check