Example 2. Koizumi’s example 25B