ઓકે, પર્યાપ્ત સિદ્ધાંત કેટલાક વાસ્તવિક કોડ માટે સમય: