a posteriori reasoning