Theory Maker [dev.]