infinity reasoner @ MAXIM Models