implementation without temporal rules