Adds dynamic logic lab