We discuss scalar field theories with second-derivative Lagrangians, whose field equations are second order. Some of these theories admit solutions violating the Null Energy Condition and having no obvious pathologies. An example of using this type of theories is a model for creating a universe in the laboratory.