Throw exception in case of seemingly impossible condition