Formally, given the design requirements of users, models are required to generate protein amino acid sequences that align with those requirements.