Contraction (logic)

1. redirect structural rule#Contraction

{{Redirect category shell|

{{r to anchor}}

{{Redirect from subtopic}}

}}