formal validities