Always-returning