Berman, 2019. Higher Lawvere theories.