Tag: solve life problem using assertion and reason method