Logic will get you from A to B