Practicing Guard Inversion