Module:Smyth/testcases explained