Checks for a condition; if the condition is false, outputs messages and displays a message box that shows the call stack.