aalto & constructive contradiction