no exact/inexact distinction for now