Assertion for synchronizing Provider1