paul craig vs brendan allen