עקרון פמע מוביל: אי-פורמליות