proof of paradigm