User:Functorofpoints/sandbox