Incomplete due to motivation, so I just published it