right-continuous