Goal and pseudo-code complete