Implement relativization

This closes #3