A late Praxic Age metatheorician, an opponent to Halikaarn, and founder of The Circle. Adherents to his ideas are called Procians.