prove m-spec-trap | Paolo Andrenacci | Observableprove m-spec-trap | Paolo Andrenacci | Observable