Partial solution to 3

Quit because of computer slowdown -- be careful, test implementation for
3 may be too resource-intensive.