Complete the assertions_forward