let strict_after u v = strict_before v u