Title: Simple consequence relations