SLR20 Thinking Procedurally