See also #140, #420, #532, #653, #654, #655, #656, #935
Especially #420, which is close to this setting