a = truer