Satisfying Loops