kdrag.theories.logic.temporal.Eventually

kdrag.theories.logic.temporal.Eventually(x)