Some playing around with 1-hole contexts.
More category play.