alibi — form of defense used in criminal procedure