inexpressibilities

not defined yet