[spec] concentration integration and separation of variables