Talk:Fair computational tree logic