Reasoning through Romans