prologShouldWork