i1 : X = PP^4 o1 = X o1 : a flag bundle with ranks {1, 4}
i2 : id_X o2 = a variety map o2 : a map to X from X