Add logic spec.