Aris Justified After Flushing Pragma Demo