Made by the tutorial from goodels