Proper handling in formal settings