Has HJR-192 been repealed?