Mainstream programming is like science before Da Vinci: experimental proofs are something they are yet to discover.