% Testing strictness errors