First order and second order consequences