SMS: Studies in logic