Law 1: Every program can be optimised to be smaller.Law 2: There's always one more bug.Corollary: Every program can be reduced to a one-line bug.