element aspect of set, 131 assertions