Credits - Assertion Techniques