BBs and CFGs done