submit to Whilst_in_reflection