Label all terms and statements