Post-Last Train Logic. - zeta