Change the juror
Thomas Subit-Pinote 0:95d0f87463175d9cfeb5fd62df6699d56de1fdecb5d823cae21de84aaba3ed12
0x50384ec36bee19914526f436a0adf57d0c35389934b5aaca15db5b5e89f42aa0
to
Steven de Oliveira
0:2b9a4bbe9fb10146225b44d244c83fdc299cf8d25f1ea224edf16848432b63ab
0x97d84615e5b248380b50802f354e7395f7f0d421557e867b9d1bd266306547e3
Great example of formal methods - axiomatic semantics…