$P(X > s+t | X > s) = P(X > t)$

$P(X > s+t | X > s) = P(X > s)$

$P(X > s+t) = P(X > s)P(X > t)$

$E[X | X > s] = E[X] + s$