Den faktiska bevisning , somnäm