changing non-ground fact to fit in with rest of example