Эх, что же будет с миром, если в списках рассылки опенсурса присутствует человек, который не знает не то, что про действие группы Галуа на проконечном гомотопическом типе, но даже лемму о милиционере...