A Priori may be working, need to test other cases