Software Design for Plato (YC W16)