Found a bug in logic.core