More work on inference rules (broken)