Desired Logic