Add specs for restrict.