--- (not a rule) ---- ----- ------ ------- -------- --------- ---------- -------------------------------------------- (not thicker than 10)
--- (not a rule)
(not thicker than 10)
--- (not a rule) ---- ----- ------ ------- -------- --------- ---------- -------------------------------------------- (not thicker than 10)
--- (not a rule)
(not thicker than 10)