greater than zero prior on a