Toward Robots That Reason: Logic, Probability & Causal Laws, Belle, Vaishak