Talk:World 4/@comment-24352957-20140113110037

For the F to G node branching rule in 4-3, are CA(T) allowed or strictly CA only?