Including results for postulate examples.
Do you want results only for Postulat Examples?