cat stevens deliberately recorded the album as his last availability is the probability that a navigation system meets the accuracy and integrity requirements