How Satisfy Becomes SatisfyING