Will an inconsistency in the Calculus of Inductive Construct | Blockcircle