@d2fn @jspahrsummers Using the second definition here, right?