←
On defining behavior: Some notes