Fortune Works | Phillip Fortune | R Levarek proofs