C. A. Hermida, “Fibrations, Logical Predicates and Indeterminates”, DPB, vol. 22, no. 462, Nov. 1993.