add foundations, assertion & judgment