Add explanation of why this work correctly.