Write about
formal complexity
here.