diff --git a/labs/amy_specification.pdf b/labs/amy_specification.pdf index e89b79c4415e39c8424e9a0c93aa29752b76fda6..e8ea5067b9acb53e3e37bd9dbb0e513656dab129 100644 Binary files a/labs/amy_specification.pdf and b/labs/amy_specification.pdf differ