IBM Proof machine. Who lives who dies hamilton lyrics original. Barred owl mating meaning. Sydney FC vs SD Raiders.