Slack Time Rmx

Slack Time Extended (Extended Version)