Define struct predicate before acccesors