assert false → raise Invalid_argument