Title: Formalizing common sense : papers