How is a counterclaim formulated?​