Create decidables.v