Basic code for uyv implementation, need to add the actual bound and inference