Towards implementing Bernstein & Armstrong section 3.2. simplified demonstration.