Separation logic doesn't have any subscribers yet.