Hermida, C. A. Fibrations, Logical Predicates and Indeterminates. DPB 1993, 22.