Premise: The richly decorated iconostasis has highly regarded icons painted by Jeremias of Cete in 1612, but the sixth century mosaics on the ceiling of the apse are the church's most impressive feature.

Hypothesis: The richly decorated iconostasis was painted by Michaelangelo.
Relation: contradiction