method
set value = state := value;
notebook
#
goto_page (
if
value
then
1
else
0);
()