Сформулировал

Ньютону упало на голову яблоко, и он сформулировал закон всемирного тяготения.
Строителю Тарасову упал на голову гаечный ключ. Что он сформулировал, наши филологи пока расшифровать не могут.