RallyX: A logical step forward for Jonatan Hoffman