first order complexity