This is exactly how I solve the problem for myself, however if this is a language feature it will be neater, more concise, automatically verifiable, and univers

This is exactly how I solve the problem for myself, however if this is a language feature it will be neater, more concise, automatically verifiable, and universally legible by everyone.