Семь раз отмерь, один раз криво: ирония в пословицах