7-4 proportionality exploration