added specs, updated logical models