doesnt work right now
refactor and now assertion predicates are working