en:reasoning:time