Modules With Specs