add load; rename predicates