Title: Predicates and fibrations