i1 : isTable {{1,2,3},{4,5,6}} o1 = true
i2 : isTable {{1,2,3},{4,5}} o2 = false
It is intrinsically impossible to represent a 0×k matrix as a list of lists.