adapted thought probe + size induction1
adapted to new paradigm
adapted to new paradigm
added revert induction and adapted to new paradigm