Let us spec the output