Proving by example and gap theorems | IEEE Conference Publication | IEEE Xplore