Bad assertion I think; should be `2 <= 0`