A Lamport Garland From The Library Of Si by Charles Edmunds