Dagon comments on Formal “left” and “right” definitions