high-level state of the art