/* 04-boolean */