expressibility

not defined yet