$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]$