Proof of learning for Establishing the Initial Position module.