updates to specify OEs (identical to Assumptions)