resolves #2 Completion predicate
resolves #2 Completion predicate