SA), Roman Gromov, LOGIC