Title: Second year papers in reasoning