Begin playing with deduce.