Comment by antidesitter

Mathematics, for the most part. I wager this is due to the low material cost of verification.