Satisfy? (inst)