Discovering new theories