Unpassible

impossible This reads like an important step in a mathematical proof by contradiction. You assume something, then you show that this leads to a contradiction. That means that your original assumption must have been false. This is the step where the mathematician has proved there is a contradiction. "Quarrellary"(corollary) introduces the consequences of that assumption being false, the next step in the proof.