Replies to @SpenceLivermore

@SpenceLivermore congratulations on your elevation to HOL.