logic assertion ranskasta suomeksi