ELE: Made Theories [dev.]