STEP LOGIC MODELS B