Man kan alltså redananteckna