#1 on my “bad ideas for a summer afternoon” list: Hecke schneiden …