Code

For proving that our conjectured neutral embedding is indeed linear.