re: #922 Obdicut

great question. which assertions do you mean?