unproposable

not defined yet