Це відмінна логічна заява.