Tag: proleptic reasoning