Proairesis definitions