Lunatic (Extended Version)