On implicit program constructs