Rule of inference doesn't have any subscribers yet.