if true then
    []
else
    [1]