1958 (Extended Version)

1958 (Extended Version)