教鞭は指示の道具であり体罰の道具ではない（体罰に使ってはならないという規則がある）というソース https://t.co/pCPjPDQMBm （ただし、禁止するということは、多少なりとも体罰用法が横行していたか、教鞭がまったく目当たらしいものでどう使っていいか分からない人が多かったか、だろうと思う）