Comments by 0110011101100111 (1)
on Nicolas Simitsidis PEDO 2023-08-16
Not one line of actual proof in here