add stricter rules for the specification