added implicit assertion example