Add lists and prove theorems for lists