Between Trevilley and Trevescan