Radical Specifications Models