Interpolative Boolean Logic