@logic: Check up that