formal legal system