Extraterrestrial Logic