11/30/04

3rd mistake:
3 <= 3

3|111
3! =/= 3