Click on a plus sign (+) to expand the corresponding category; click a "loop" to cycle between Skip (which omits the package) and all available versions of the respective package.

This code is a simple loop through all posts in a hypothetical posts table, displaying the category and the body of the post.

Many loop invariants can be expressed in the form of the fixed point of a predicate universal function while weakest precondition is least fixed point and explained in the view of category theory.