>patent to mix bone with concrete
blood not bone, but point taken & agreed about cemex.
https://infogalactic.com/info/Modus_ponens
Modus ponens allows one to eliminate a conditional statement from a logical proof or argument (the antecedents) and thereby not carry these antecedents forward in an ever-lengthening string of symbols;
for this reason modus ponens is sometimes called the rule of detachment.[8]
Its sole record is the occurrence of ⊦q [the consequent] . . . an inference is the dropping of a true premise; it is the dissolution of an implication".[10]