Title: A note on Gregory of Rimini