remove all the postulating, show the code