Moore's assertions supported by record

Tools