Wilf–Zeilberger_pair loading ...