os A * HINTZE.