A1) All evolution is change. A2) When change stops everything stops. A3) Everything hasn't stopped. A4) :. Evolution hasn't stopped. B1) All change is evolution. B2) When change stops everything stops. B3) Everything hasn't stopped. B4) :. Evolution hasn't stopped. A1)-A4) is invalid. B1)-B4) is valid; unfortunately, B1) is false. Craig