public bool after(Stamp s, uint duration) { if (isEternal || s.isEternal) { return(false); } return(TemporalRules.order(s.occurrenceTime, occurrenceTime, duration) == TemporalRules.EnumOrder.FORWARD); }