add another parent relationship
peano arithmetic etc