More compact than RICOH GR IIIX?

If we want to go more compact, what is more compact and Rico GR 3X? The only thing I could think of is maybe the Sony RX Mark seven, or iPhone pro?