Strängt taget är deningenting