added implicit assertion example
minor cleanup