Invia SMS: Traditional formal logic: