Which of the following Byzantine contributions formed the basis for much of medieval European law?

Separation of church and state
The Justinian Code
The Hagia Sophia
Polemon