added comments to help later in expanding parameterised rules