નોંધો કે એક જટિલ તાર્કિક એક્સપ્રેશન માટે શરત, જેમ કે "ગુણાકાર" અથવા "વધુમાં" તેમની સાચી વ્યાખ્યાઓ યાદ જેવા શબ્દો સમાવતું નથી.