Complete assertions for the first test