Formalizing common sense : papers