Riley = proof