4-Trees in the 1700s