formulas(albert_experiment).
  A=0 & B=1 & C=2 & D=3.
end_of_list.
