Red full visshet kan man således antaga,