The main Harpe interface