[copyleft-next] transitive grace period