implementation module StrictnessList