no more view specs
removed helper specs
testing expenses for valid semantics