Form theory and exploration