User:Bassis/Algorithmic inference