What is an example of formal operational?