B1.1: First rewrite.