Friendly game in Z3