Forgot to update the Boolean.disco example file to the new definition syntax.