asat
non-existence