An international court is not a necessary institution