{Method -> {"Automatic", "\"Ackermann\"", "\"KNVD\""}}
