Smartmatching True/False *is* mentioned in S03

This reverts commit 3c81eddad88114a5f7377d55e9685496d9b57491.