FAQ Tag: formal requirements