predicate implemented, loading view added