Implement half of W1.hs.