Logic and Loops