9 ( Dionysius ).