Indistinguishability and Observability Definitions (cont'd)