incompletability

not defined yet