strictness: veryhigh