build verification function for theorical results