forallb specification