[Mise à jour] cassé mon affichage
[Mise à jour] cassé mon affichage
Bonsoir,
en appliquant une mise à jour après avoir consulté les news et ne trouvant pas d'infos particulières j'ai répondu oui aux
questions qu'on m'a posé (remplacer les paquets suivants) par libgl si ma mémoire est bonne j'ai supprimé (traces pacman log)
mach64-dri
mga-dri
r128-dri
savage-dri
sis-dri
tdfx-dri
Du coup , il ya un problème visiblement avec xorg, gdm ne s'affiche même plus
Bon, la connerie étant faite j'aimerais savoir commment revenir en arrière en réinstallant les anciens paquets du cache si toutefois c'est la solution.
Merci pour votre aide.
en appliquant une mise à jour après avoir consulté les news et ne trouvant pas d'infos particulières j'ai répondu oui aux
questions qu'on m'a posé (remplacer les paquets suivants) par libgl si ma mémoire est bonne j'ai supprimé (traces pacman log)
mach64-dri
mga-dri
r128-dri
savage-dri
sis-dri
tdfx-dri
Du coup , il ya un problème visiblement avec xorg, gdm ne s'affiche même plus
Bon, la connerie étant faite j'aimerais savoir commment revenir en arrière en réinstallant les anciens paquets du cache si toutefois c'est la solution.
Merci pour votre aide.
-
- Elfe
- Messages : 516
- Inscription : mer. 01 août 2007, 16:38
Re: [Mise à jour] cassé mon affichage
Est-ce que tu n'obtiens pas un message d'erreur de Xorg ?
Ca devrait pouvoir t'aider à cerner le paquet qui manque.
Sinon pour installer un paquet du cache c'est
pacman -U nom_paquet
Ca devrait pouvoir t'aider à cerner le paquet qui manque.
Sinon pour installer un paquet du cache c'est
pacman -U nom_paquet
- FoolEcho
- Maître du Kyudo
- Messages : 10711
- Inscription : dim. 15 août 2010, 11:48
- Localisation : Basse-Normandie
Re: [Mise à jour] cassé mon affichage
Juste pour complèter:
Downgrade
Le log est /var/log/Xorg.0.log.Tristelune a écrit :Est-ce que tu n'obtiens pas un message d'erreur de Xorg ?
pacman -U /var/cache/pacman/pkg/nom_paquet.pkg.tar.xzTristelune a écrit :pacman -U nom_paquet
Downgrade
«The following statement is not true. The previous statement is true.» 

Re: [Mise à jour] cassé mon affichage
Salut ! Je me permets de me brancher sur le topic, étant donné que j'ai le même souci avec les mêmes symptômes, après la même mise à jour (avec quelques paquets en plus que ceux cités). Cela devait être la dernière grosse MAJ en date, assez longue.
Je ne vous poste pas le log de xorg, parce qu'à priori je peux déjà annoncer que ce souci se situe ailleurs (aucunes erreurs visibles dans /var/log/Xorg.0.log dans mon cas, confirmé par plusieurs personnes).
Personnellement je peux booter si dans le grub je sélectionne archlinux linux fallback. Ca peut peut-être déjà aider un peu.
PS : J'ai regardé /var/log/boot, le errors.log, et rien trouvé non plus. Mais le plus bizarre, c'est le comportement du PC, on dirait un freeze, le clavier ne répond pas, impossible de passer en console ...
Enfin, j'hésite à faire un downgrade du kernel, parce que ça n'a pas l'air super commode pour s'en sortir ...
Question pour falke : est-ce que tu peux passer en console lorsque tu as ton souci ?
Ici, la liste des paquets mise à jour :
Je ne vous poste pas le log de xorg, parce qu'à priori je peux déjà annoncer que ce souci se situe ailleurs (aucunes erreurs visibles dans /var/log/Xorg.0.log dans mon cas, confirmé par plusieurs personnes).
Personnellement je peux booter si dans le grub je sélectionne archlinux linux fallback. Ca peut peut-être déjà aider un peu.
PS : J'ai regardé /var/log/boot, le errors.log, et rien trouvé non plus. Mais le plus bizarre, c'est le comportement du PC, on dirait un freeze, le clavier ne répond pas, impossible de passer en console ...
Enfin, j'hésite à faire un downgrade du kernel, parce que ça n'a pas l'air super commode pour s'en sortir ...
Question pour falke : est-ce que tu peux passer en console lorsque tu as ton souci ?
Ici, la liste des paquets mise à jour :
Code : Tout sélectionner
[2012-03-18 00:37] starting full system upgrade
[2012-03-18 00:48] removed mach64-dri (7.11.2-1)
[2012-03-18 00:48] removed mga-dri (7.11.2-1)
[2012-03-18 00:48] removed r128-dri (7.11.2-1)
[2012-03-18 00:48] removed savage-dri (7.11.2-1)
[2012-03-18 00:48] removed sis-dri (7.11.2-1)
[2012-03-18 00:48] removed tdfx-dri (7.11.2-1)
[2012-03-18 00:48] upgraded libglapi (7.11.2-1 -> 8.0.1-2)
[2012-03-18 00:48] upgraded libgl (7.11.2-1 -> 8.0.1-2)
[2012-03-18 00:48] upgraded ati-dri (7.11.2-1 -> 8.0.1-2)
[2012-03-18 00:48] upgraded bash (4.2.020-1 -> 4.2.024-1)
[2012-03-18 00:48] Updating GTK+ icon cache... Done.
[2012-03-18 00:48] Updating desktop MIME database... Done.
[2012-03-18 00:48] upgraded bleachbit (0.9.1-1 -> 0.9.2-1)
[2012-03-18 00:48] upgraded catfish (0.3.2-4 -> 0.3.2-5)
[2012-03-18 00:48] upgraded usbutils (004-1 -> 005-1)
[2012-03-18 00:48] udev changes:
[2012-03-18 00:48] * if your kernel does not provide /dev/loop-control, you need to manually
[2012-03-18 00:48] load the 'loop' module before using losetup
[2012-03-18 00:48] upgraded udev (181-2 -> 181-5)
[2012-03-18 00:48] upgraded util-linux (2.20.1-2 -> 2.21-6)
[2012-03-18 00:48] upgraded e2fsprogs (1.42-1 -> 1.42.1-1)
[2012-03-18 00:48] upgraded ffmpeg (20120127-3 -> 20120317-1)
[2012-03-18 00:48] upgraded openssl (1.0.0.g-1 -> 1.0.0.h-1)
[2012-03-18 00:48] upgraded git (1.7.9.3-1 -> 1.7.9.4-1)
[2012-03-18 00:48] upgraded glproto (1.4.14-1 -> 1.4.15-1)
[2012-03-18 00:48] upgraded gnutls (3.0.15-1 -> 3.0.17-1)
[2012-03-18 00:48] upgraded grep (2.11-1 -> 2.11-2)
[2012-03-18 00:48] upgraded gstreamer0.10 (0.10.35-1 -> 0.10.36-1)
[2012-03-18 00:48] upgraded gstreamer0.10-base (0.10.35-1 -> 0.10.36-1)
[2012-03-18 00:48] upgraded gstreamer0.10-bad (0.10.22-5 -> 0.10.23-1)
[2012-03-18 00:48] upgraded gstreamer0.10-bad-plugins (0.10.22-5 -> 0.10.23-1)
[2012-03-18 00:48] upgraded gstreamer0.10-base-plugins (0.10.35-1 -> 0.10.36-1)
[2012-03-18 00:48] upgraded gstreamer0.10-good (0.10.30-2 -> 0.10.31-1)
[2012-03-18 00:48] upgraded gstreamer0.10-good-plugins (0.10.30-2 -> 0.10.31-1)
[2012-03-18 00:48] upgraded gstreamer0.10-ugly (0.10.18-6 -> 0.10.19-1)
[2012-03-18 00:48] upgraded gstreamer0.10-ugly-plugins (0.10.18-6 -> 0.10.19-1)
[2012-03-18 00:48] upgraded inputproto (2.0.2-1 -> 2.2-1)
[2012-03-18 00:48] upgraded intel-dri (7.11.2-1 -> 8.0.1-2)
[2012-03-18 00:48] upgraded krb5 (1.9.2-2 -> 1.10.1-1)
[2012-03-18 00:48] upgraded kdelibs (4.8.1-1 -> 4.8.1-2)
[2012-03-18 00:48] upgraded libwbclient (3.6.3-2 -> 3.6.3-4)
[2012-03-18 00:48] upgraded smbclient (3.6.3-2 -> 3.6.3-4)
[2012-03-18 00:48] upgraded kdebase-runtime (4.8.1-1 -> 4.8.1-2)
[2012-03-18 00:48] upgraded libedit (20110802_3.0-1 -> 20120311_3.0-1)
[2012-03-18 00:48] upgraded libpciaccess (0.12.1-1 -> 0.13-1)
[2012-03-18 00:48] upgraded libtiff (4.0.0-1 -> 4.0.1-1)
[2012-03-18 00:48] upgraded xcb-proto (1.6-2 -> 1.7-2)
[2012-03-18 00:48] upgraded libxcb (1.7-2 -> 1.8.1-1)
[2012-03-18 00:48] upgraded xproto (7.0.22-1 -> 7.0.23-1)
[2012-03-18 00:48] upgraded libx11 (1.4.4-1 -> 1.4.99.901-1)
[2012-03-18 00:48] upgraded libxi (1.4.5-1 -> 1.6.0-1)
[2012-03-18 00:48] upgraded libxt (1.1.2-1 -> 1.1.3-1)
[2012-03-18 00:48] upgraded mkinitcpio-busybox (1.19.2-1 -> 1.19.4-2)
[2012-03-18 00:48] warning: /etc/mkinitcpio.conf installed as /etc/mkinitcpio.conf.pacnew
[2012-03-18 00:48] upgraded mkinitcpio (0.8.2-3 -> 0.8.4-1)
[2012-03-18 00:49] >>> Updating module dependencies. Please wait ...
[2012-03-18 00:49] >>> Generating initial ramdisk, using mkinitcpio. Please wait...
[2012-03-18 00:49] ==> Building image from preset: 'default'
[2012-03-18 00:49] -> -k /boot/vmlinuz-linux -c /etc/mkinitcpio.conf -g /boot/initramfs-linux.img
[2012-03-18 00:49] ==> Starting build: 3.2.11-1-ARCH
[2012-03-18 00:49] -> Parsing hook: [base]
[2012-03-18 00:49] -> Parsing hook: [udev]
[2012-03-18 00:49] -> Parsing hook: [autodetect]
[2012-03-18 00:49] -> Parsing hook: [pata]
[2012-03-18 00:49] -> Parsing hook: [scsi]
[2012-03-18 00:49] -> Parsing hook: [sata]
[2012-03-18 00:49] -> Parsing hook: [filesystems]
[2012-03-18 00:49] -> Parsing hook: [usbinput]
[2012-03-18 00:49] -> Parsing hook: [resume]
[2012-03-18 00:49] ==> Generating module dependencies
[2012-03-18 00:49] ==> Creating gzip initcpio image: /boot/initramfs-linux.img
[2012-03-18 00:49] ==> Image generation successful
[2012-03-18 00:49] ==> Building image from preset: 'fallback'
[2012-03-18 00:49] -> -k /boot/vmlinuz-linux -c /etc/mkinitcpio.conf -g /boot/initramfs-linux-fallback.img -S autodetect
[2012-03-18 00:49] ==> Starting build: 3.2.11-1-ARCH
[2012-03-18 00:49] -> Parsing hook: [base]
[2012-03-18 00:49] -> Parsing hook: [udev]
[2012-03-18 00:49] -> Parsing hook: [pata]
[2012-03-18 00:49] -> Parsing hook: [scsi]
[2012-03-18 00:49] -> Parsing hook: [sata]
[2012-03-18 00:49] -> Parsing hook: [filesystems]
[2012-03-18 00:49] -> Parsing hook: [usbinput]
[2012-03-18 00:49] -> Parsing hook: [resume]
[2012-03-18 00:49] ==> Generating module dependencies
[2012-03-18 00:49] ==> Creating gzip initcpio image: /boot/initramfs-linux-fallback.img
[2012-03-18 00:49] ==> Image generation successful
[2012-03-18 00:49] upgraded linux (3.2.9-1 -> 3.2.11-1)
[2012-03-18 00:49] upgraded lm_sensors (3.3.1-2 -> 3.3.2-1)
[2012-03-18 00:49] upgraded lua (5.1.4-9 -> 5.1.5-1)
[2012-03-18 00:49] upgraded man-pages (3.36-1 -> 3.37-1)
[2012-03-18 00:49] upgraded mesa (7.11.2-1 -> 8.0.1-2)
[2012-03-18 00:49] upgraded mpfr (3.1.0.p3-1 -> 3.1.0.p7-1)
[2012-03-18 00:49] upgraded pcmciautils (018-1 -> 018-2)
[2012-03-18 00:49] upgraded perl-html-parser (3.68-2 -> 3.69-1)
[2012-03-18 00:49] upgraded poppler (0.18.3-2 -> 0.18.4-1)
[2012-03-18 00:49] upgraded poppler-glib (0.18.3-2 -> 0.18.4-1)
[2012-03-18 00:50] upgraded samba (3.6.3-2 -> 3.6.3-4)
[2012-03-18 00:50] upgraded subversion (1.7.3-1 -> 1.7.4-1)
[2012-03-18 00:50] upgraded sudo (1.8.4.p2-1 -> 1.8.4.p4-1)
[2012-03-18 00:50] upgraded thunar (1.2.3-4 -> 1.2.3-5)
[2012-03-18 00:50] upgraded thunderbird (10.0.2-1 -> 11.0-1)
[2012-03-18 00:50] upgraded thunderbird-i18n-fr (10.0.2-1 -> 11.0-1)
[2012-03-18 00:50] upgraded wine (1.4-1 -> 1.5.0-1)
[2012-03-18 00:50] upgraded winetricks (20111115-3 -> 20120308-1)
[2012-03-18 00:50] upgraded xf86-input-acecad (1.5.0-2 -> 1.5.0-3)
[2012-03-18 00:50] upgraded xf86-input-aiptek (1.4.1-2 -> 1.4.1-3)
[2012-03-18 00:50] upgraded xf86-input-evdev (2.6.0-4 -> 2.7.0-1)
[2012-03-18 00:50] upgraded xf86-input-joystick (1.6.0-3 -> 1.6.1-1)
[2012-03-18 00:50] upgraded xf86-input-keyboard (1.6.1-1 -> 1.6.1-2)
[2012-03-18 00:50] upgraded xf86-input-mouse (1.7.1-2 -> 1.7.2-1)
[2012-03-18 00:50] installed mtdev (1.1.2-1)
[2012-03-18 00:50] upgraded xf86-input-synaptics (1.5.0-1 -> 1.5.99.901-2)
[2012-03-18 00:50] upgraded xf86-input-vmmouse (12.7.0-3 -> 12.8.0-1)
[2012-03-18 00:50] upgraded xf86-input-void (1.4.0-2 -> 1.4.0-3)
[2012-03-18 00:50] upgraded xf86-video-apm (1.2.3-4 -> 1.2.3-5)
[2012-03-18 00:50] upgraded xf86-video-ark (0.7.3-4 -> 0.7.4-1)
[2012-03-18 00:50] upgraded xf86-video-ast (0.93.9-1 -> 0.93.9-2)
[2012-03-18 00:50] upgraded xf86-video-ati (6.14.3-1 -> 6.14.3-2)
[2012-03-18 00:50] upgraded xf86-video-chips (1.2.4-3 -> 1.2.4-4)
[2012-03-18 00:50] upgraded xf86-video-cirrus (1.3.2-7 -> 1.3.2-8)
[2012-03-18 00:50] upgraded xf86-video-dummy (0.3.4-5 -> 0.3.5-1)
[2012-03-18 00:50] upgraded xf86-video-fbdev (0.4.2-5 -> 0.4.2-6)
[2012-03-18 00:50] upgraded xf86-video-geode (2.11.12-3 -> 2.11.13-1)
[2012-03-18 00:50] upgraded xf86-video-glint (1.2.6-1 -> 1.2.7-1)
[2012-03-18 00:50] upgraded xf86-video-i128 (1.3.4-4 -> 1.3.4-5)
[2012-03-18 00:50] upgraded xf86-video-i740 (1.3.2-7 -> 1.3.2-8)
[2012-03-18 00:50] upgraded xf86-video-intel (2.17.0-2 -> 2.18.0-1)
[2012-03-18 00:50] upgraded xf86-video-mach64 (6.9.0-2 -> 6.9.0-3)
[2012-03-18 00:50] upgraded xf86-video-mga (1.4.13-4 -> 1.4.13-5)
[2012-03-18 00:50] upgraded xf86-video-neomagic (1.2.5-5 -> 1.2.5-6)
[2012-03-18 00:50] upgraded xf86-video-nv (2.1.18-4 -> 2.1.18-5)
[2012-03-18 00:50] upgraded xf86-video-r128 (6.8.1-7 -> 6.8.1-8)
[2012-03-18 00:50] upgraded xf86-video-rendition (4.2.4-5 -> 4.2.4-6)
[2012-03-18 00:50] upgraded xf86-video-s3 (0.6.3-6 -> 0.6.3-7)
[2012-03-18 00:50] upgraded xf86-video-s3virge (1.10.4-6 -> 1.10.4-7)
[2012-03-18 00:50] upgraded xf86-video-savage (2.3.3-1 -> 2.3.3-3)
[2012-03-18 00:50] upgraded xf86-video-siliconmotion (1.7.5-3 -> 1.7.5-4)
[2012-03-18 00:50] upgraded xf86-video-sis (0.10.3-5 -> 0.10.3-7)
[2012-03-18 00:50] upgraded xf86-video-sisusb (0.9.4-5 -> 0.9.4-6)
[2012-03-18 00:50] upgraded xf86-video-tdfx (1.4.3-7 -> 1.4.3-8)
[2012-03-18 00:50] upgraded xf86-video-trident (1.3.4-5 -> 1.3.4-6)
[2012-03-18 00:50] upgraded xf86-video-tseng (1.2.4-5 -> 1.2.4-6)
[2012-03-18 00:50] upgraded xf86-video-v4l (0.2.0-9 -> 0.2.0-10)
[2012-03-18 00:50] upgraded xf86-video-vesa (2.3.0-7 -> 2.3.0-8)
[2012-03-18 00:50] installed svga-dri (8.0.1-2)
[2012-03-18 00:50] upgraded xf86-video-vmware (11.1.0-1 -> 12.0.1-1)
[2012-03-18 00:50] upgraded xf86-video-voodoo (1.2.4-5 -> 1.2.4-6)
[2012-03-18 00:50] upgraded xf86-video-xgixp (1.8.0-4 -> 1.8.0-5)
[2012-03-18 00:50] upgraded xorg-server-common (1.11.4-1 -> 1.12.0-1)
[2012-03-18 00:50] upgraded xorg-server (1.11.4-1 -> 1.12.0-1)
[2012-03-18 00:50] upgraded xorg-xinput (1.5.3-2 -> 1.5.99.1-1)
[2012-03-18 00:50] installed girara-common (0.1.1-1)
[2012-03-18 00:50] installed girara-gtk2 (0.1.1-1)
[2012-03-18 00:50] upgraded zathura (0.0.8.5-4 -> 0.1.1-4)
- FoolEcho
- Maître du Kyudo
- Messages : 10711
- Inscription : dim. 15 août 2010, 11:48
- Localisation : Basse-Normandie
Re: [Mise à jour] cassé mon affichage
... un problème avec le hook autodetect paraît alors le plus probable.didli a écrit :Personnellement je peux booter si dans le grub je sélectionne archlinux linux fallback. Ca peut peut-être déjà aider un peu.

Tu pourrais nous poster (via pastebin) everything.log quand tu démarres sur le fallback ou non ? (attention si tu ne fais pas tourner tes logs avec logrotate, il te faut récupérer celui où ça plante avant de redémarrer sur le fallback)didli a écrit :PS : J'ai regardé /var/log/boot, le errors.log, et rien trouvé non plus. Mais le plus bizarre, c'est le comportement du PC, on dirait un freeze, le clavier ne répond pas, impossible de passer en console ...
C'est pourtant le plus simple... dans l'immédiat.didli a écrit :Enfin, j'hésite à faire un downgrade du kernel, parce que ça n'a pas l'air super commode pour s'en sortir ...
«The following statement is not true. The previous statement is true.» 

Re: [Mise à jour] cassé mon affichage
@falke : as-tu réussi à résoudre ton souci, et si oui, comment ?
@les autres : Déjà merci pour votre participation à la résolution du problème !
Ensuite, je cite :
Rien à voir sinon mais je n'ai accès à ce PC que le week-end, donc ne soyez pas trop surpris des réponses un peu sporadiques ...
Pour le downgrade du kernel, je suis embêté, parce que je crois que ça va me casser des compils ou des paquets qui me sont importants installés sur le dernier ... je me trompe ?
@les autres : Déjà merci pour votre participation à la résolution du problème !
Ensuite, je cite :
Oui, je crois que c'en est bien l'origine, j'ai lu quelque chose là-dessus qui semble confimer l'hypothèse. Je cours zieuter de quoi il s'agit dans le wiki.... un problème avec le hook autodetect paraît alors le plus probable.
Rien à voir sinon mais je n'ai accès à ce PC que le week-end, donc ne soyez pas trop surpris des réponses un peu sporadiques ...
Pour le downgrade du kernel, je suis embêté, parce que je crois que ça va me casser des compils ou des paquets qui me sont importants installés sur le dernier ... je me trompe ?
Re: [Mise à jour] cassé mon affichage
Voilà mon everything.log, j'ai limité la sortie au moment du reboot que je viens d'effectuer à l'instant où survient le souci :
http://didli.free.fr/Divers/everything.log
Je me demande si mon souci ne se situerait pas au tout au début, là :
Mais je vous laisse regarder étant donné que je n'en suis pas sûr du tout ... mais alors pas du tout.
Quant au hook autodetect, j'ai pensé que regénérer automatiquement les images par défaut suffirait a résoudre le problème, mais non ...
http://didli.free.fr/Divers/everything.log
Je me demande si mon souci ne se situerait pas au tout au début, là :
Code : Tout sélectionner
xfce4-settings-[690]: segfault at 18 ip b691bf16 sp bfa51640 error 6 in libSM.so.6.0.1[b691a000+7000]
Quant au hook autodetect, j'ai pensé que regénérer automatiquement les images par défaut suffirait a résoudre le problème, mais non ...
- FoolEcho
- Maître du Kyudo
- Messages : 10711
- Inscription : dim. 15 août 2010, 11:48
- Localisation : Basse-Normandie
Re: [Mise à jour] cassé mon affichage
Sauf qu'il faudrait consulter les anciens logs, au moment où ça plante. Pour ça, il te suffit d'instater logrotate et de rajouter crond dans les services du rc.conf s'il n'y est pas (ça te donnera des log.1, 2, etc.). Si tu as un accès ssh sur ta machine au moment du blocage, dis-nous aussi si tu peux t'y connecter (+ consultation logs, top, etc.).didli a écrit :Voilà mon everything.log, j'ai limité la sortie au moment du reboot que je viens d'effectuer à l'instant où survient le souci :
«The following statement is not true. The previous statement is true.» 

Re: [Mise à jour] cassé mon affichage
Je ne te suis pas. Tu parles d'autres logs que everything ? Parce que le seul qui m'affiche quelques warnings et erreurs au moment où ça plante, c'est celui-là, et j'y ai gardé le contenu se déroulant un peu avant (et pendant) le plantage.Sauf qu'il faudrait consulter les anciens logs, au moment où ça plante.
Maintenant, il se trouve qu'il ya un petit souci de rien du tout. Le souci est que ... le problème s'est résolu de lui-même avec la dernière grosse mise à jour du système !
Ce qui fait que ça fonctionne impeccable, même si je ne sais pas pourquoi ça fonctionne impeccable.
Un petit mot de falke peut-être pour savoir si son souci est résolu aussi ?
- FoolEcho
- Maître du Kyudo
- Messages : 10711
- Inscription : dim. 15 août 2010, 11:48
- Localisation : Basse-Normandie
Re: [Mise à jour] cassé mon affichage
@:didli
Mais bon, si ça fonctionne pour toi maintenant, c'est le principal.
Je parlais du everything.log quand ça plante, pas de celui quand ça redémarre (il n'y a pas d'erreurs dans celui que tu nous montres... enfin il y en a, mais pas qui soient liées à ce que tu décris apparemment -- bon après, je l'ai survolé très vite).didli a écrit :Je ne te suis pas. Tu parles d'autres logs que everything ? Parce que le seul qui m'affiche quelques warnings et erreurs au moment où ça plante, c'est celui-là, et j'y ai gardé le contenu se déroulant un peu avant (et pendant) le plantage.
Mais bon, si ça fonctionne pour toi maintenant, c'est le principal.

«The following statement is not true. The previous statement is true.» 
