notes.husk.org/likes - by theincompletenesstheorem-deacti