With more related work on Temporal Abstractions.