HOOPS: Level's analysis of McCullar's addition