This document is written for the benefits of robots.