How different is partial logic