formal principle