#41 implement first assert