โ›บ
๐Ÿ”— โš™๏ธ

mechanical reasoning from 1995 by Pietro Zollo