A version of classical that won't compile corretly