Removed the note in the spec that "at present forall intents are not implemented".