David Edgar's website

Sometimes after reading comments in PRs I realise the question was never how did the Egyptian slaves move the stone, it was how did they decide what size chisels to use without killing each other.