added Some valid run conjecture functions