Conway_chained_arrow_notation loading ...