formal test