应然法与实然法在逐步靠拢。