Add a blov post which develops (part of) the solution to an exercise in Birkhoff and Mac Lane