@mdbrantingham: Making a formal