S5 (modal logic)
 
x
OK