94.issue: formulae must be verified by examples