proof-0504proof-0509