eval discoveries correctly