Describir: If structured propositions are logical procedures then how are procedures individuated?