Choice And Consequence Categories