cast                    Cast values into shape
certify                 Ensure Conditions on a Value
