proof basic setup