circumplectendis