function And(...rest): boolean;