વધુ ઔપચારિક રીતે, અમારી પાસે નીચેની પૂર્વધારણાઓ છે: