Void-Equivalence

Void-equivalent forms are syntactically irrelevant and semantically inert.