On Mathematical Proofs of the Vacuity of Compositionality · Study