formalized the visibility of fields within the predicate class