The Save item (menu File) saves an existing boolean function.