Title: Discovering Logic