Update beruben_specification.md