Assertion Lock and Load