is logic universal?