The behavior of `def` will likely perhaps change someday if I stop being lazy. Perhaps we can make a note of this?