updated spec for explanation assertion