validity conditions may be formal and material