principle of least expressiveness