Wigner's 'unreasonable effectiveness of mathematics' suggests formal structure and physical signific...