Use cases folder + UC1 in Pyretic