Mantig1 presentations