7012: RectSpec