Semantics of logic doesn't have any subscribers yet.