init rule ++