Implementing synthetic rule model, checking in