Also look for the eta-reduced instance, for compatibility.