¹The numbers 0 and 1 are operation names in FriCAS.