A tiny rewritten