Graf and Synths Against Evil Robots