The application developers in the above list was safe and formal