add instructions for mills et all truth set