WYC: discovered a test which now passes!!
WYCS: added a new test case which fails.