Logical Information Machines | bigsight