અને તે, વિજ્ઞાનની એક આધુનિક પૌરાણિક લોજિકલ ભાષા શિફ્ટ સાચું છે જો.