Text this: A general interpreted modal calculus.