Where exactly are the difficulties in reasoning logically about code? experimentation with an online system.