Used some fancy FSCheck features (preoperty)