Requirements now have correct notation